3

Towards temporal verification of swarm robotic systems

Year:
2012
Language:
english
File:
PDF, 1.06 MB
english, 2012
4

Deductive temporal reasoning with constraints

Year:
2013
Language:
english
File:
PDF, 381 KB
english, 2013
7

Analysing robot swarm behaviour via probabilistic model checking

Year:
2012
Language:
english
File:
PDF, 1.10 MB
english, 2012
39

Clausal resolution in a logic of rational agency

Year:
2002
Language:
english
File:
PDF, 342 KB
english, 2002
50

Searching for proof

Year:
2014
Language:
english
File:
PDF, 135 KB
english, 2014